1. A VLSI architecture for concurrent data structures
پدیدآورنده : Dally, William J.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Electronic digital computers- Circuits,، Integrated circuits- Very large scale integration,، Computer architecture
2. A VLSI architecture for concurrent data structures
پدیدآورنده : / by William J. Dally
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers -circuits,Integrated circuits-Very large scale in tegration,Computer architecture
رده :
621
.
395
D147V
3. Advanced industrial control technology
پدیدآورنده : Peng Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Process control.
رده :
TS156
.
8
.
Z53
2010
4. Advanced industrial control technology
پدیدآورنده : Peng Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Process control.
رده :
TS156
.
8
.
Z53
2010
5. Aircraft Electrical and Electronic Systems /
پدیدآورنده : David Wyatt and Mike Tooley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Airplanes-- Electric equipment.,Airplanes-- Electronic equipment.,Avionics.,Airplanes-- Electric equipment.,Airplanes-- Electronic equipment.,Avionics.,TECHNOLOGY & ENGINEERING-- Engineering (General)
رده :
TL690
6. Area-efficient VLSI computation
پدیدآورنده : Leiserson, Charles Eric
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Circuits,، Integrated circuits-- Very large scale integration
رده :
TK
7888
.
4
.
L44
1983
7. Area-efficient vlsi computation
پدیدآورنده : LEISERSON,CHARLES ERIC
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-CIRCUITS , INTEGRATED CIRCUITS-VERY LARGE SCALE
رده :
TK
7888
.
4
.
L44
8. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: (طهران)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
9. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Fabio Somenzi )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
2725
10. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings
پدیدآورنده : Rajeev Alur, Doron A. Peled )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3114
11. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings
پدیدآورنده : Kousha Etessami, Sriram K. Rajamani )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
3576
12. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
پدیدآورنده : Rajeev Alur, Thomas A. Henzinger
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
1102
13. Contemporary logic design
پدیدآورنده : Randy H. Katz
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Electronic digital computers - Circuits - Design,Integrated circuits - Very large scale integration - Design - Data processing,Logic design - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
14. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Electronic digital computers- Circuits- Design,Integrated circuits- Very large scale integration- Design- Data processing,Logic design- Data processing,Computer-aided design
رده :
E-BOOK
15. Contemporary logic design
پدیدآورنده : Randy H. Katz
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Electronic digital computers - Circuits - Design,Integrated circuits - Very large scale integration - Design - Data processing,Logic design - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
16. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Circuits -- Design ، Electronic digital computers,Very large scale integration -- Design ، Integrated circuits,Logic design -- Data processing ، Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
2005
17. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers,Integrated circuits,Logic design,Computer-aided design,-- Circuits Design,-- Very large scale integration -- Design -- Data processing,-- Data processing
رده :
621
.
395
K19C
2005
18. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: مكتبة ومركز معلومات جامعة الإمام الرضا العالمية (خراسان رضوی)
موضوع : Electronic digital computers--Circuits--Design,Integrated circuits--Very large scale integration--Design--Data processing,Logic design--Data processing,Computer-aided design
رده :
TK7888
.
4
.
k36
19. Contemporary logic design
پدیدآورنده : Katz, Randy H
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Circuits-- Design,، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
20. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Circuits Design,، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
2005
